1. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
